encaoua-jacquemin axioms

安卡瓦-贾克曼公设